Method for Producing Computer-Assisted Real-Time Systems

by Ralf Münzen­berger, Frank Slomka, Matthias Dörfel, and Oliver Bring­mann
, 2006.